who is john pork John Pork